Ownership transfer and abstraction KSU CIS TR 2004 - 1 October , 2003
نویسندگان
چکیده
Ownership confinement expresses encapsulation in heap structures, in support of modular reasoning about effects, representation independence, and other properties. This paper studies heap encapsulation from the perspective of substitutability for the class construct of Java-like languages and a particular form of confinement is justified by a representation independence result. A syntax-directed static analysis is specified and proved sound for checking confinement in the presence of ownership transfer.
منابع مشابه
Evidence of the Assurance of Learning for Undergraduates at Ksu: Selected Results from the 2004 National Survey of Student Engagement
KSU's results from the 2004 National Survey of Student Engagement (NSSE) contained strong and substantial evidence of the assurance of learning in the university's undergraduate educational experience. The overall educational experience at KSU was highly rated by first-year and senior students. Findings affirmed high levels of assurance of learning in the fundamental learning outcomes of Genera...
متن کاملDigital signature: use and modification to achieve success in next generational e-business processes
A US law, the electronic signatures (E-Sign) in Global and National Commerce Act (signed by then President Clinton on 30 June 2000 with an effective date of 1 October 2000), grants electronic signatures legal validity equivalent to traditional handwritten counterparts. The intention of this law is to cut costs while providing more stringent security. In the emerging ecommerce arena, electronic ...
متن کاملAbstraction and Acceleration in SMT-based Model-Checking for Array Programs
ion and Acceleration in SMT-based Model-Checking for Array Programs Francesco Alberti1, Silvio Ghilardi2, Natasha Sharygina1 1 Faculty of Informatics, University of Lugano, Switzerland 2 Università degli Studi di Milano, Milan, Italy Abstract Abstraction (in its various forms) is a powerful established technique in modelchecking; still, when unbounded data-structures are concerned, it cannot al...
متن کاملA permissive retinoid X receptor/thyroid hormone receptor heterodimer allows stimulation of prolactin gene transcription by thyroid hormone and 9-cis-retinoic acid.
Heterodimers of the retinoid X receptor (RXR) with the thyroid hormone receptor (TR) are considered to be nonpermissive. It is believed that within these complexes RXR acts as a "silent partner." We demonstrate here that a permissive heterodimer mediates stimulation of prolactin expression by the thyroid hormone T3 and by 9-cis retinoic acid (9-cis-RA). A response element located in the prolact...
متن کاملDefinability of Accelerated Relations in a Theory of Arrays and Its Applications
ion and Acceleration in SMT-based Model-Checking for Array Programs Francesco Alberti1, Silvio Ghilardi2, Natasha Sharygina1 1 Faculty of Informatics, University of Lugano, Switzerland 2 Università degli Studi di Milano, Milan, Italy Abstract Abstraction (in its various forms) is a powerful established technique in modelchecking; still, when unbounded data-structures are concerned, it cannot al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003